Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
171	simply typed λ-calculus logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:12 Lambda calculus Anonymous function Currying Simply typed lambda calculus Type theory Function Combinatory logic Partial application
172	Very Efficient Conversions Morten Welinder? Carnegie Mellon University School of Computer Science 5000 Forbes Avenue, Pittsburgh, PA–15213, USA Email: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:53 Logic in computer science Mathematical logic Theoretical computer science Logical consequence Theorem Lambda calculus Rewriting Mathematical proof
173	Higher-Order and Symbolic Computation, 11, 405–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Scheme: Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-14 14:39:18 Lisp Lambda calculus Functional programming Data types Subroutines Scheme Anonymous function Cons Fexpr Maclisp Closure Eval
174	Student Term Schedule Sample Student Name_______________________ Date ____________________ Year 6 Year________________________ Add to Reading List Source URL: homeschoolingdownunder.com Language: English - Date: 2014-10-31 08:18:32 Lambda calculus Orthogonal polynomials Mathematical analysis Polynomials
175	Onsager relations Peter Hertel University of Osnabr¨ uck, Germany April 6, 2010 Add to Reading List Source URL: iap.nankai.edu.cn Language: English Spectral theory Representation theory of Lie groups Operator theory Spectral theory of ordinary differential equations Lambda calculus
176	c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Lambda calculus Functional programming A-normal form Let expression Fixed-point combinator Exponentiation Expression Monad Anonymous function Free variables and bound variables Combinatory logic Standard ML
177	Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University Add to Reading List Source URL: yoavartzi.com Language: English - Date: 2016-08-12 04:07:46 Predicate logic Type theory Logic in computer science Computability theory Lambda calculus Combinatory categorial grammar Quantifier Combinatory logic Parsing Free variables and bound variables Weight
178	A Case for Lambda Calculus Ike Antkare International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:28 Ike Rough
179	FW loan application form July 2015 web.indd Add to Reading List Source URL: www.financewales.co.uk Language: English - Date: 2015-08-21 10:16:33 Expected value Limit of a function Lambda calculus Information theory
180	A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality Jasmin Christian Blanchette1,2 , Mathias Fleury2 , and Christoph Weidenbach2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-06-17 09:50:06 Formal methods Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Conflict-Driven Clause Learning Boolean satisfiability problem Satisfiability modulo theories Clause Vampire Propositional calculus Lambda calculus

UPDATE